The aditi deductive database system

Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk-based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.     

Konzept zur Maßstabsübertragung beim Suspendieren im Rührbehälter

Concept for Scale-up on Suspension in a Stirred Tank. The relationships derived for the suspension of solids in a propeller loop can be applied to corresponding processes in a stirred tank by means of analogy considerations. Accordingly, the ratio of stirrer power to slip power of laminar flow state is inversely proportional to the vessel diameter. In contrast, the power ratio remains constant in turbulent flow. There is a pronounced transition range between these two limiting states. The author's own experimental studies performed over a wide range of Re numbers for the recycling flow confirm this relationship. The observations presented explain why numerous authors have determined scale-up rules lying between these two extremes. The experiments shows that the power input for suspension is always significantly greater than the slip power. Under otherwise identical conditions, the necessary stirrer power is smaller by a factor of three for a propeller stirrer than for a disk impeller. The suspension of small solids concentrations can also be approximated by the flow model presented. The somewhat different physical relations valid in this case are substantiated by the author's experiments. The model also provided information relevant to scale-up when the particle properties are unknown. This is demontrated for an example in a 21 m³ vessel.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

Wear in check valves due to flow induced motion

Experiments showing the frequency and amplitude of the flow induced motion of the gate for a 2- and a 4-in. swing check valve have been performed. The gate motion is due to turbulence in approach flow. We have found the dominant turbulent frequency of the approach flow is about half the natural frequency of the valves. The valves appear to be almost critically damped. Because of this, the valves respond almost as they would to a static force of the magnitude characteristic of the turbulent fluctuation in the flow. Both the dimensionless exciting force and the damping ratio have been found to be independent of valve size so the above statements are true for larger valves also. The recommended valve oscillation amplitudes and frequencies are used to calculate the wear at the shaft and at the stop. For an unpegged check valve, such as one of the 10-in. valves which was used at the San Onofre Nuclear Generation Station, it was found that shaft bearing wear would amount to 0.27 in.³/year and stop wear to 0.03 in.³/year.     

Scheduling railway traffic at a construction site

We consider the problem of rescheduling trains in the case where one track of a railway section consisting of two tracks in opposing directions is closed due to construction activities. After presenting an appropriate model for this situation we derive a polynomial algorithm for the subproblem of finding an optimal schedule with minimal latenesss if the subsequences of trains for both directions outside the construction site are fixed. Based on this algorithm we propose a local search procedure for the general problem of finding good schedules and report test results for some real world instances. Received: December 8, 1999 / Accepted: May 2, 2001     

Sexual functioning among breast cancer, gynecologic cancer, and healthy women.

Determined the specific type of sexual functioning deficits and the relationship between global sexual satisfaction and adjustment in 2 related life areas (marital relationship and body image) for 2 groups of cancer patients at high risk for sexual difficulties. The 2 groups included 16 27–67 yr old females with Stage 2 breast cancer and 16 31–65 yr old females with gynecologic cancer. These Ss were compared to 16 healthy female outpatients (controls). Measures included the Sexual Activities scale from the Derogatis Sexual Functioning Inventory, a modified version of the Dyadic Assessment Scale (marital adjustment), a global sexual evaluation, and a body-image scale. Analyses revealed that the aspects of sexual functioning for breast-cancer and gynecologic-cancer Ss that differed from those of controls were the frequency of sexual behaviors and the level of sexual arousal. Whereas Ss' evaluations of their current sexual life had no relationship to their marital-adjustment ratings, analyses suggested that body-image disruption may be a prevalent problem for gynecologic cancer patients. Data suggest that cancer diagnosis and treatment are instrumental in producing reductions in sexual activity and arousability. (34 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)